Sudoku App: Model-Driven Development of Android Apps Using OCL?
نویسنده
چکیده
1998 ACM CR Categories: D.2.1 [Software Engineering] Requirements/Specificationslanguages; D.2.2 [Software Engineering] Design Tools and Techniquesobject-oriented design methods, state diagrams; D.2.4 [Software Engineering] Software/Program Verificationclass invariants, formal methods; F.3.1 [Logics and Meaning of Programs] Specifying and Verifying and Reasoning about Programsassertions, invariants, preand post-conditions, specification techniques
منابع مشابه
Model-driven development of platform-independent mobile applications supporting role-based app variability
The use of mobile applications has become an indispensable part of human interaction and especially of urban life. This will lead to rapidly increasing numbers of applications and users that make the development of mobile applications to one of the most promising fields in software engineering. Due to short time-to-market, differing platforms and fast emerging technologies, mobile application d...
متن کاملModel-Driven Development of Mobile Applications Allowing Role-Driven Variants
Rapidly increasing numbers of applications and users make the development of mobile applications to one of the most promising fields in software engineering. Due to short time-to-market, differing platforms and fast emerging technologies, mobile application development faces typical challenges where model-driven development can help. We present a modeling language and an infrastructure for the ...
متن کاملریسک سنج: ابزاری برای سنجش دقیق میزان ریسک امنیتی برنامه‌ها در دستگاه‌های همراه
Nowadays smartphones and tablets are widely used due to their various capabilities and features for end users. In these devices, accessing a wide range of services and sensitive information including private personal data, contact list, geolocation, sending and receiving messages, accessing social networks and etc. are provided via numerous application programs. These types of accessibilities, ...
متن کاملMobileMonkey - A Contextual Stress Testing Framework for Android Application
Development of Android Apps is inherently challenging as difficulties arise in tracing bugs and crashes due to GUI based event driven work flow, contextual scenarios and diversified sources of inputs working together. In order to alleviate developer’s challenges in this regard, a state of the art contextual stress testing framework of Android apps named MobileMonkey is proposed. This framework ...
متن کاملNative Apps versus Web Apps: Which Is Best for Healthcare Applications?
Smartphone applications (Apps) provide a new way to deliver healthcare, illustrated by the fact that healthcare Apps are estimated to make up over 30% of new Apps currently being developed; with this number seemingly set to increase as the benefits become more apparent. In this paper, using the development of an In Vitro Fertilisation (IVF) treatment stress study App as the exemplar, the altern...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017